Nuprl Lemma : false_wf
13,42
postcript
pdf
False
latex
Up
core
2
,
core
2
Definitions
False
,
,
t
T
origin
T